English primitive recursion: tłumaczenie na inne języki